You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Author Name: Nicky Ayoub
Original Redmine Issue: 34 from https://www.veripool.org
Original Date: 2008-10-13
Original Assignee: Wilson Snyder (@wsnyder)
We have some SV code that uses timeunits and timeprecision.
I think I have added timeunits/timeprecision in to the grammar properly. I also added lifetimeE as per the interface usage. I am new to git and may have messed up when I did a 'git format-patch origin' after a 'git diff'. I assumed that it would create a patch file but I didn't see anything happen.
In any case I redirected 'git diff' to a file and I am attaching it.
I am sorry for the lack of testcases... At least it passes the current set without any breakage.
So I guess I am testing the 'empty' part of the productions ;-)
The text was updated successfully, but these errors were encountered:
Author Name: Nicky Ayoub
Original Redmine Issue: 34 from https://www.veripool.org
Original Date: 2008-10-13
Original Assignee: Wilson Snyder (@wsnyder)
We have some SV code that uses timeunits and timeprecision.
I think I have added timeunits/timeprecision in to the grammar properly. I also added lifetimeE as per the interface usage. I am new to git and may have messed up when I did a 'git format-patch origin' after a 'git diff'. I assumed that it would create a patch file but I didn't see anything happen.
In any case I redirected 'git diff' to a file and I am attaching it.
I am sorry for the lack of testcases... At least it passes the current set without any breakage.
So I guess I am testing the 'empty' part of the productions ;-)
The text was updated successfully, but these errors were encountered: