Skip to content
Snippets Groups Projects
Commit 3a9024f7 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

test harness: do not fail if the error is due to a name clash with kcg

parent 59b65754
No related branches found
No related tags found
No related merge requests found
node TWO_STATES(set,reset,init:bool) returns (state:bool); node TWO_STATES(set,reset,init:bool) returns (state:bool);
let let
state = init -> if set and not pre(state) then true state = init -> if set and not pre(state) then true
else if reset and pre(state) then false else if reset and pre(state) then false else pre(state);
else pre(state);
tel tel
node ONE_BUTTON(change,init: bool) returns (state:bool); node ONE_BUTTON(change,init: bool) returns (state:bool);
let let
state = init -> if change then not pre(state) else pre(state); state = init -> if change then not pre(state) else pre(state);
tel tel
node poussoir (e3,init:bool) returns (s3, s4:bool); node poussoir (e3,init:bool) returns (s3, s4:bool);
let let
s3 = TWO_STATES(e3,e3,init); s3 = TWO_STATES(e3,e3,init);
s4 = ONE_BUTTON(e3,init); s4 = ONE_BUTTON(e3,init);
tel tel
# Time-stamp: <modified the 03/09/2014 (at 17:09) by Erwan Jahier> # Time-stamp: <modified the 01/07/2015 (at 14:24) by Erwan Jahier>
# #
# (nonreg-)test harness main file # (nonreg-)test harness main file
...@@ -49,6 +49,10 @@ proc should_work { test_name command_line args } { ...@@ -49,6 +49,10 @@ proc should_work { test_name command_line args } {
set failed 1 set failed 1
exp_continue exp_continue
} }
"kcg name clash" {
set failed 0
exp_continue
}
"ERROR" { "ERROR" {
set failed 1 set failed 1
exp_continue exp_continue
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment