Um, why isn't this rendering.
This file contains 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
int main() | |
{ | |
int a; | |
klee_make_symbolic(&a, sizeof(a)); | |
if(a==5) | |
return 1; | |
return 0; | |
} |
This file contains 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
struct cputimer | |
{ | |
cputimer(const std::string& name) | |
: name(name) | |
{ | |
} | |
~cputimer() | |
{ |
This file contains 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
{ | |
"units": | |
[ | |
"Botan-1.10.3/src/algo_base/symkey.cpp", | |
"Botan-1.10.3/src/algo_factory/algo_factory.cpp", | |
"Botan-1.10.3/src/algo_factory/prov_weight.cpp", | |
"Botan-1.10.3/src/alloc/alloc_mmap/mmap_mem.cpp", | |
"Botan-1.10.3/src/alloc/mem_pool/mem_pool.cpp", | |
"Botan-1.10.3/src/alloc/system_alloc/defalloc.cpp", | |
"Botan-1.10.3/src/asn1/alg_id.cpp", |
This file contains 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
\documentclass[tikz,margin=5em]{standalone} | |
\usepackage{intcalc,calc} | |
\usepackage{tikz} | |
\usepackage{verbatim} | |
\usepackage{amsmath} | |
\usetikzlibrary{arrows} | |
\usetikzlibrary{decorations.pathreplacing} | |
\usetikzlibrary{shapes} |
This file contains 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
/* | |
Copyright (c) 2012 Azriel Fasten azriel.fasten@gmail.com | |
Permission is hereby granted, free of charge, to any person | |
obtaining a copy of this software and associated documentation | |
files (the "Software"), to deal in the Software without | |
restriction, including without limitation the rights to use, | |
copy, modify, merge, publish, distribute, sublicense, and/or sell | |
copies of the Software, and to permit persons to whom the | |
Software is furnished to do so, subject to the following |
This file contains 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
/* | |
Copyright (c) 2012 Azriel Fasten azriel.fasten@gmail.com | |
Permission is hereby granted, free of charge, to any person | |
obtaining a copy of this software and associated documentation | |
files (the "Software"), to deal in the Software without | |
restriction, including without limitation the rights to use, | |
copy, modify, merge, publish, distribute, sublicense, and/or sell | |
copies of the Software, and to permit persons to whom the | |
Software is furnished to do so, subject to the following |
This file contains 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
#step 1 | |
digraph list{ | |
{rank=same; | |
D1[style=invis,shape=point]; | |
D1[style=invis]; | |
} | |
{rank=same; | |
D[dir=back]; |
This file contains 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
import yaml | |
import argparse | |
from attrdict import AttrDict | |
#from check_config import check_config | |
def check_config(config,partial=False): | |
pass |
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
OlderNewer