STAMP-project / Ex2Amplifier / 48

Builds Branch Commit Type Ran Committer Via Coverage
48 master feat: support boolean lit Pull #12 web-flow travis-ci pending completion   set done
45 master Skip null lit (#11) * test: Ex2Amplifier returns an empty list in case of non-amplifiable test * resources: add a non-amplifiable test method * feat: filter test that contains only null values push web-flow travis-ci pending completion   set done
44 master feat: filter test that contains only null values Pull #11 web-flow travis-ci pending completion   set done
43 master Mv non static (#10) * resources: add usage of method and field inside a test * test: the Main Generator should return a compilable main method * feat: MainGenerator replace all non-static access by access on a local variable * test: add ... push web-flow travis-ci pending completion   set done
42 master feat: returns an empty list if the given test method does not contain any literals Pull #10 web-flow travis-ci pending completion   set done
41 mv-non-static feat: returns an empty list if the given test method does not contain any literals push danglotb travis-ci pending completion   set done
40 master new Symbolic Execution : CATG (#8) * test: add test on the MainGenerator * feat: add MainGenerator * test: add tavern resources for tests * fix: Main Generator * feat: add CATGExecutor * feat: finish the CATGExecutor, it returns va... push web-flow travis-ci pending completion   set done
39 master grant permission to execute cvc4 Pull #8 web-flow travis-ci pending completion   set done
38 catg grant permission to execute cvc4 push danglotb travis-ci pending completion   set done
22 master Replace alloy by jbse (#7) * clear: delete all file related to alloy * clear: delete alloy jar * delete resources alloy * pom: update dependencies: remove alloy, add JBSE and SMT-api * test: add methods in resources to test * test:... push web-flow travis-ci pending completion   set done
21 master ci: add lib folder to the cache Pull #7 web-flow travis-ci pending completion   set done
17 master Integration to dspot (#6) * pom: use release 6.0.0 of spoon; use release 1.0.1 of dspot * feat: instrument the test to be amplified; set up the instrument folder too target/dspot/Ex2Amplifier * feat: filter now invocation to asserts in test... push web-flow travis-ci pending completion   set done
16 master test: the procedure of DSpot using the Ex2Amplifier generate one amplified test, exercising a new path in the program Pull #6 web-flow travis-ci pending completion   set done
14 master Ex2amplifier (#5) * refactor: the stack parameter is now in the Context * feat: add the context in the contruction of Modification and Variable * feat: support unsatifiable problems * feat: add Ex2Amplifier * test: factorize init Laun... push web-flow travis-ci pending completion   set done
13 master test: update test with new implementation of TestInstrumentation Pull #5 web-flow travis-ci pending completion   set done