Ren Kimura RKX1209
RKX1209
/ klee-output
Created
November 4, 2015 21:22
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ uname -a | |
| Linux rkx-PC 3.19.0-28-generic #30-Ubuntu SMP Mon Aug 31 15:52:51 UTC 2015 x86_6 | |
| 4 x86_64 x86_64 GNU/Linux | |
| $ lsb_release -a | |
| No LSB modules are available. | |
| Distributor ID: Ubuntu | |
| Description: Ubuntu 15.10 | |
| Release: 15.10 | |
| Codename: wily |
NewerOlder