Assad (OW2)

False positive result on Sat4j 2018/10/25 experiment

5

#### Characteristics - **Issue Type**: [test report] - **Reproducibility**: [always] - **Severity**: [feature] - **Execution Environment**: [ubuntu 16.04] - **Reporter**: [Assad Montasser, [email protected]] #### Description This refers to this output:...

Add support for assertNotNull

6

#### Characteristics - **Reporter**: [Assad Montasser, [email protected]] #### Description This is not a bug but an improvement suggestion made by Daniel Le Berre after reviewing the generated code. https://github.com/STAMP-project/dspot-usecases-output/blob/master/OW2/Sat4j/20181030-1515/dspot-out/org/sat4j/AmplBugSAT107.java After...

Admin UI / Interrupt Analysis not working

1

When we execute one task and it doesn't complete, it is not possible to interrupt it.  And when we want to execute a new task, the...