package info (click to toggle)
simgrid 3.21%2Bdfsg-4
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 21,972 kB
  • sloc: cpp: 88,193; ansic: 69,244; fortran: 6,089; f90: 5,162; xml: 4,861; java: 4,250; perl: 2,056; python: 1,193; sh: 1,159; makefile: 57; sed: 6

Folder: mc

d .. (parent)
- - rw-r--r-- 1,313 bugged1.c
- - rw-r--r-- 3,713 bugged1_liveness.c
- - rw-r--r-- 1,352 bugged2.c
- - rw-r--r-- 57 hostfile_bugged1
- - rw-r--r-- 57 hostfile_bugged1_liveness
- - rw-r--r-- 711 hostfile_bugged2
- - rw-r--r-- 57 hostfile_mutual_exclusion
- - rw-r--r-- 37 hostfile_non_termination
- - rw-r--r-- 57 hostfile_only_send_deterministic
- - rw-r--r-- 2,250 mutual_exclusion.c
- - rw-r--r-- 3,298 non_deterministic.tesh
- - rw-r--r-- 763 non_termination1.c
- - rw-r--r-- 669 non_termination2.c
- - rw-r--r-- 889 non_termination3.c
- - rw-r--r-- 778 non_termination4.c
- - rw-r--r-- 1,315 only_send_deterministic.c
- - rw-r--r-- 1,224 only_send_deterministic.tesh
- - rw-r--r-- 177 promela_bugged1_liveness