Skip to main content

Front-End Testing

Supervisor

Suitable for

MSc in Computer Science

Abstract

Run the regressions mentioned here and the GCC C Torture tests with goto-cc and a goto-program interpreter (mild dependency on the interpreter-related task above).