realazthat

document.body.style.margin = 0;
document.body.style.padding = 0;

const width = window.innerWidth;
const height = window.innerHeight;

const canvas = document.body.appendChild(document.createElement('canvas'))
const fit = require('canvas-fit');
const bezier = require('bezier');

realazthat

document.body.style.margin = 0;
document.body.style.padding = 0;

const width = window.innerWidth;
const height = window.innerHeight;

const canvas = document.body.appendChild(document.createElement('canvas'))
const fit = require('canvas-fit');
const bezier = require('bezier');

realazthat

int main()
{
int a;
klee_make_symbolic(&a, sizeof(a));
if(a==5)
 return 1;
return 0;
}