Skip to content

Commit

Permalink
Add regress record for seqCmd.
Browse files Browse the repository at this point in the history
  • Loading branch information
@MattWindsor91
MattWindsor91 committed Aug 4, 2016
1 parent 436a98a commit 665953e
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions testresults
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
./Examples/Pass/petersonInt.cvf:
./Examples/Pass/petersonIntMissingSynthesised.cvf:
./Examples/Pass/petersonMultiCmd.cvf:
./Examples/Pass/seqCmd.cvf:
./Examples/Pass/spinLockAdvisory.cvf:
./Examples/Pass/spinLock.cvf:
./Examples/Pass/spinLockInt.cvf:
Expand Down

0 comments on commit 665953e

Please sign in to comment.