Wrong specification in rtinconsistency_test36

[hauff]

• Jenkins: history
• Hanfor: req1, req2

Result

• Expected: rt-inconsistent:; vacuous:; inconsistent:;
• Actual: rt-inconsistent:; vacuous:req1; inconsistent:;

Test (.req file)

CONST time_at_least is 30.0

req1: Globally It is always the case that If "var3" holds for at least "time_at_least" time units, then "var4" holds afterwards for at least "time_at_least" time units
req2: Globally It is always the case that If "var3" holds, then "!var4" holds for at least "time_at_least" time units

Comments

vacuous: req1 is BndResponsePatternTT Globally maybe related: #499

[danieldietsch]

New actual: Actual: rt-inconsistent:req1+req2; vacuous:req1; inconsistent:;

The vacuous part is still an issue.