diff options
Diffstat (limited to 'test/basic.tcl')
| -rw-r--r-- | test/basic.tcl | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/test/basic.tcl b/test/basic.tcl index af2bb16f..c39916dd 100644 --- a/test/basic.tcl +++ b/test/basic.tcl @@ -1,9 +1,3 @@ -proc assert condition { - set s "{$condition}" - if {![uplevel 1 expr $s]} { - return -code error "assertion failed: $condition" - } -} proc count condition { Statements::count $condition } @@ -11,7 +5,7 @@ proc count condition { Assert programOakland has program {{this} { Claim Omar lives in "Oakland" }} -Assert when $::nodename has step count /c/ {{c} { +Assert when $::thisProcess has step count /c/ {{c} { When Omar lives in /place/ { Claim $place is a place where Omar lives } |
