Execution traces
Synthetic execution traces of the video game Pingus, used for runtime verification.
Additional Information
| Field | Value |
|---|---|
| Last updated | unknown |
| Created | unknown |
| Format | XML |
| License | Creative Commons Attribution Share-Alike |
| Created | over 9 years ago |
| format | XML |
| has views | True |
| id | 938f527a-20fb-4421-83b2-0481234fc119 |
| on same domain | True |
| package id | 77aca17b-5fa6-4ebf-94f0-20d6209bf169 |
| revision id | dfd2896a-1841-4e59-a4f4-f89f6e193e79 |
| state | active |
| url type | upload |