From a5b40ecd2ba5e4e04ed35a410d05953d877e0d13 Mon Sep 17 00:00:00 2001 From: Omar Rizwan Date: Mon, 19 Jun 2023 13:40:27 -0400 Subject: Add assert to lib/language.tcl --- test/commit.tcl | 7 ------- 1 file changed, 7 deletions(-) (limited to 'test/commit.tcl') diff --git a/test/commit.tcl b/test/commit.tcl index 2a8bdaed..1cf780b8 100644 --- a/test/commit.tcl +++ b/test/commit.tcl @@ -1,10 +1,3 @@ -proc assert condition { - set s "{$condition}" - if {![uplevel 1 expr $s]} { - return -code error "assertion failed: $condition" - } -} - Assert programBall has program {{this} { Commit { Claim $this has a ball at x 100 y 100 } -- cgit v1.2.3