ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-05 02:19:24 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

tool/run: introduce generalized 'assert'-proc

Browse Source 
Issue #5432
This commit is contained in:
Roman Iten 2025-01-22 10:07:24 +01:00 committed by Christian Helmuth
parent 815e207470
commit 369a7a242b
1 changed files with 28 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
tool/run/run
View File

@ -24,15 +24,38 @@ proc strip_whitespace {string} {
}
##
# Check if the specified requirement is satisfied
#
# This is a reimplementation of TCLs ::control::assert, but tailored for the
# run tool.
#
proc assert { expression { msg "" } } {
set code [catch {uplevel 1 [list expr $expression]} res]
if {$code} {
return -code $code $res
}
if {![string is boolean -strict $res]} {
return -code error "invalid boolean expression: $expression"
}
if {$res} {return}
puts stderr "Test requires '$expression'"
if {$msg != ""} {
puts stderr $msg
}
exit 1
}
##
# Check if the specified spec requirement is satisfied
#
proc assert_spec {spec} {
global specs
if {[lsearch $specs $spec] == -1} {
puts stderr "Test requires '$spec'"
exit 1
}
assert {[have_spec $spec]}
}