/50003Pset3

Problem Set 3 for 50.003 Elements of Software Construction

Primary LanguageJava

Problem Set 3

50.003 Elements of Software Construction

Remarks

  • Please navigate to the folder src/main/java/esc/problemset3.

  • Generated evosuite tests are in evosuite-tests.

  • Due to many technical issues, I was not able to get KLEE to run on my Macbook Pro after numerous attempts.
    I was not able to transfer files to and from the virtual machine.
    As a result, I was not able to complete Homework 02.
    However, I have still provided my test_simple.c program for grading.

Table of Contents