package info (click to toggle)
simgrid 3.25%2Bdfsg-5
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 23,308 kB
  • sloc: cpp: 100,922; ansic: 68,086; fortran: 6,061; xml: 5,176; f90: 5,123; java: 4,094; python: 2,623; perl: 1,843; sh: 1,241; makefile: 47; javascript: 7; sed: 6

Folder: mc

d .. (parent)
- - rw-r--r-- 3,637 CMakeLists.txt
- - rw-r--r-- 1,656 bugged1.c
- - rw-r--r-- 2,401 bugged1.tesh
- - rw-r--r-- 4,408 bugged1_liveness.c
- - rw-r--r-- 4,106 bugged1_liveness.tesh
- - rwxr-xr-x 1,225 bugged1_liveness_stack_cleaner
- - rw-r--r-- 11,924 bugged1_liveness_visited.tesh
- - rw-r--r-- 2,336 bugged2.c
- - rw-r--r-- 86,906 bugged2.tesh
- - rw-r--r-- 3,015 bugged2_liveness.c
- - rw-r--r-- 2,094 bugged3.c
- - rw-r--r-- 3,649 centralized_mutex.c
- - rw-r--r-- 54 centralized_mutex.tesh
- - rw-r--r-- 432 deploy_bugged1.xml
- - rw-r--r-- 331 deploy_bugged1_liveness.xml
- - rw-r--r-- 331 deploy_bugged1_liveness_visited.xml
- - rw-r--r-- 354 deploy_bugged2.xml
- - rw-r--r-- 333 deploy_bugged2_liveness.xml
- - rw-r--r-- 354 deploy_bugged3.xml
- - rw-r--r-- 352 deploy_centralized_mutex.xml
- - rw-r--r-- 356 deploy_electric_fence.xml
- - rw-r--r-- 1,741 electric_fence.c
- - rw-r--r-- 740 platform.xml
- - rw-r--r-- 177 promela_bugged1_liveness
- - rw-r--r-- 194 promela_bugged2_liveness