user@localhost:~/koan-tracts/docs$ klee-go quadratic.c 
KLEE: NOTE: Using klee-uclibc : /home/user/klee/Release+Asserts/lib/klee-uclibc.bca
KLEE: NOTE: Using model: /home/user/klee/Release+Asserts/lib/libkleeRuntimePOSIX.bca
KLEE: output directory is "/home/user/koan-tracts/docs/klee-out-0"
Using STP solver backend
KLEE: WARNING: undefined reference to function: klee_posix_prefer_cex
KLEE: WARNING ONCE: calling external: syscall(16, 0, 21505, 37781840)
KLEE: ERROR: /home/user/koan-tracts/docs/quadratic.c:7: ASSERTION FAIL: 0 != x * x - 2 * x + 1
KLEE: NOTE: now ignoring this error at this location

KLEE: done: total instructions = 2296
KLEE: done: completed paths = 2
KLEE: done: generated tests = 2
ktest file : 'klee-last/test000001.ktest'
args       : ['quadratic.bc']
num objects: 2
object    0: name: 'model_version'
object    0: size: 4
object    0: data: '\x01\x00\x00\x00'
object    1: name: 'x'
object    1: size: 4
object    1: data: '\x01\x00\x00\x00'

Add quadratic output to docs
Add quadratic output to docs

Signed-off-by: Cornel Izbasa <39068fdba4ba54637be6f1e2dfa23a19dd3b49dd@opensynergy.com>
