From 3a9024f7ba3b730a631183e239ebfa28e43b12cc Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Wed, 1 Jul 2015 10:41:49 +0200
Subject: [PATCH] test harness: do not fail if the error is due to a name clash
with kcg
---
test/should_work/poussoir.lus | 14 +++++---------
test/site.exp | 6 +++++-
2 files changed, 10 insertions(+), 10 deletions(-)
diff --git a/test/should_work/poussoir.lus b/test/should_work/poussoir.lus
index e689ade3..ea4b6ced 100644
--- a/test/should_work/poussoir.lus
+++ b/test/should_work/poussoir.lus
@@ -1,18 +1,14 @@
node TWO_STATES(set,reset,init:bool) returns (state:bool);
let
- state = init -> if set and not pre(state) then true
- else if reset and pre(state) then false
- else pre(state);
+ state = init -> if set and not pre(state) then true
+ else if reset and pre(state) then false else pre(state);
tel
-
node ONE_BUTTON(change,init: bool) returns (state:bool);
let
- state = init -> if change then not pre(state) else pre(state);
+ state = init -> if change then not pre(state) else pre(state);
tel
-
-
node poussoir (e3,init:bool) returns (s3, s4:bool);
let
- s3 = TWO_STATES(e3,e3,init);
- s4 = ONE_BUTTON(e3,init);
+ s3 = TWO_STATES(e3,e3,init);
+ s4 = ONE_BUTTON(e3,init);
tel
diff --git a/test/site.exp b/test/site.exp
index 65823743..7d6d8fa9 100644
--- a/test/site.exp
+++ b/test/site.exp
@@ -1,4 +1,4 @@
-# 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
@@ -49,6 +49,10 @@ proc should_work { test_name command_line args } {
set failed 1
exp_continue
}
+ "kcg name clash" {
+ set failed 0
+ exp_continue
+ }
"ERROR" {
set failed 1
exp_continue
--
GitLab