test/place_test.rb in y_petri-2.4.2 vs test/place_test.rb in y_petri-2.4.3
- old
+ new
@@ -65,9 +65,9 @@
p.marking "must be in 0..10" do |m| fail unless ( 0..10 ) === m end
p.guards.size.must_equal 4
g = p.common_guard_closure
-> { g.( 11.1 ) }.must_raise YPetri::GuardError
begin; p.marking = -1.11; rescue YPetri::GuardError => err
- err.message.must_equal 'Marking -1.11:Float of P1 should not be negative!'
+ err.message.must_equal 'Marking Float:-1.11 of P1 should not be negative!'
end
end
end