Guillaume Cluzel 4a0f31a71b Finish the work with klee to check the possible states that can be reached when a segment is received

2020-07-20 10:09:24 +02:00

..

close_wait

First steps with klee to confirm the contract for the underlaying functions that receive the messages and process them

2020-07-08 17:18:41 +02:00

closed

Finish the work with klee to check the possible states that can be reached when a segment is received

2020-07-20 10:09:24 +02:00

closing

First steps with klee to confirm the contract for the underlaying functions that receive the messages and process them

2020-07-08 17:18:41 +02:00

established

Finish the work with klee to check the possible states that can be reached when a segment is received

2020-07-20 10:09:24 +02:00

fin_wait_1

First steps with klee to confirm the contract for the underlaying functions that receive the messages and process them

2020-07-08 17:18:41 +02:00

fin_wait_2

First steps with klee to confirm the contract for the underlaying functions that receive the messages and process them

2020-07-08 17:18:41 +02:00

last_ack

Finish the work with klee to check the possible states that can be reached when a segment is received

2020-07-20 10:09:24 +02:00

listen

First steps with klee to confirm the contract for the underlaying functions that receive the messages and process them

2020-07-08 17:18:41 +02:00

syn_received

Finish the work with klee to check the possible states that can be reached when a segment is received

2020-07-20 10:09:24 +02:00

syn_sent

First steps with klee to confirm the contract for the underlaying functions that receive the messages and process them

2020-07-08 17:18:41 +02:00

time_wait

Finish the work with klee to check the possible states that can be reached when a segment is received

2020-07-20 10:09:24 +02:00

Makefile

First steps with klee to confirm the contract for the underlaying functions that receive the messages and process them

2020-07-08 17:18:41 +02:00

model.c

First steps with klee to confirm the contract for the underlaying functions that receive the messages and process them

2020-07-08 17:18:41 +02:00

model.h

First steps with klee to confirm the contract for the underlaying functions that receive the messages and process them

2020-07-08 17:18:41 +02:00

net_config.h

First steps with klee to confirm the contract for the underlaying functions that receive the messages and process them

2020-07-08 17:18:41 +02:00

os_port_config.h

First steps with klee to confirm the contract for the underlaying functions that receive the messages and process them

2020-07-08 17:18:41 +02:00