-
Christian Dietrich authored
The symbolic system execution is now able to enumerate all possible system states with two different approaches. Either we can use the "old" version which uses states with blocks to be executed in the next step, like it is described in LCTES'15 (Dietrich et. al). Or we can use the application finite state machines as basis. These state machines are smaller (lesser nodes) than the application's CFG. They are based on the task's ICFG. Change-Id: I05e050ed3f39bd18ecf86b4d7bb423b4ce0825e0
b5016fc8