Skip to content

lassebe/thesis

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

25 Commits
 
 
 
 
 
 
 
 

Repository files navigation

thesis

Quite frankly mess of scripts and half-baked ideas. Extremely bodged together.

In order to run the experiments you need to set:

jpf_root=<PATH_TO_JPF_CORE>

and

experiment_path=<PATH_TO_EXPERIMENTS>

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published