Asia .
- Login: Asia
- Registered on: 06/28/2018
- Last connection: 09/20/2018
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 2 | 0 | 2 |
Activity
07/19/2018
- 10:19 AM Crude_slicer Bug #9132 (Open): Buggy transformation of Ternary expression while slicing
I am currently working on verification of Systemsoftware category of SVCOMP tasks. I am using crude_slicer(Build fc...- 09:22 AM Crude_slicer Bug #9131 (Open): Undeclared Functions in slice generated
- Currently I am working on verification of SVCOMP tasks. I am using crudeslicer plugin(Build fcd3b927) to slice the ta...
Also available in: Atom