Anton Volkov
- Login: Volkov_Anton
- Email: arvolkov@inbox.ru
- Registered on: 04/18/2014
- Last connection: 10/18/2017
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 1 | 0 | 1 |
Activity
07/13/2015
- 02:00 PM Linux Driver Verification Bug #6195: CPAchecker fails to parse '.prepared' files due to double initialization of ldv-generated variable
- LDV version: 0.8
- 01:43 PM Linux Driver Verification Bug #6195: CPAchecker fails to parse '.prepared' files due to double initialization of ldv-generated variable
- Kernel: 3.17-rc1
Error example:
CPAchecker 1.4-svn (OpenJDK 64-Bit Server VM 1.7.0_09) started (CPAchecker.run, I... - 01:15 PM Linux Driver Verification Bug #6195: CPAchecker fails to parse '.prepared' files due to double initialization of ldv-generated variable
- Files can be found at NeilBrown in /work/ldvuser/volkov/launch
- 01:13 PM Linux Driver Verification Bug #6195 (New): CPAchecker fails to parse '.prepared' files due to double initialization of ldv-generated variable
- Branch: new-envgen-structures
Reports can be found here: berg.intra.ispras.ru:8999/stats/index/profilename/default/n...
Also available in: Atom