 Yentl Van Tendeloo
|
5e8f1a5aa5
Fixed MvC tests
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
a5b61c14db
Fixed test for test_mvc
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
3591deb87f
Fixed some tests
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
72b0f4ef3d
Fixed tracability link generation in split
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
4c68887a48
Fixes to code and models
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
1a8775d85a
Various patches to make rendering work
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
d0b0fefc8a
Fixed None in request; added first render test (untested)
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
1bd0ccfc8a
More fixes to tests
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
2aeae868fb
Fix many tests
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
fff24d728e
Updated tests as well to include Tracability
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
14a19cf091
Removed the removed prints from the expected test output as well
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
74e9c4e88c
Fixed MvC tests with the popping of sets
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
9068457f44
Added small text explaining the pn_simulate test
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
fba3b401f2
Split of the powerwindow case as a separate test
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
42d24ff1fa
Updated tests with new PM
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
2d34f80c2c
Add network metamodel
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
f5a15f47ad
Add query metamodel
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
f18db38b71
Test passes
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
799e34e55a
Various fixes to plant2EPN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
07cacac394
Basis of PowerWindow test added
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
301fc86333
Updated structure
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
e273c5b27e
Update PM metamodel
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
d6ed31e1b8
Revert "Removed non-deterministic test"
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
950638fdd9
Removed non-deterministic test
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
13e63f5c85
Fixed reachability computation
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
1c2eb18c90
Test passes!
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
320ffd3b32
Fix reachability graph construction and printing
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
2bd562bb6a
Fixed PM and related formalisms/algorithms: reachability starts running
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
703a4a8014
PM enactment seems to work (though reachability doesn't)
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
1431c3825a
First enactment starts working
|
%!s(int64=8) %!d(string=hai) anos |
