Viewing all changes in revision 264.
- Committer: Simon Virenfeldt
- Date: 2021-04-08 06:27:30 UTC
- Revision ID: simwir1@gmail.com-20210408062730-rlmfepb1h9181r6v
Changed the LTL competition timeouts to match CTL in the sequential step.
- files modified:
- Scripts/MCC21/competition-scripts/tapaal.sh
expand all
collapse all
added
removed
