nosession.i 348 Bytes
Newer Older
1
2
3
4
5
6
/* run.config
   DONTRUN:
*/

/* run.config_qualif
   CMD: @frama-c@ -no-autoload-plugins -load-module wp -wp-share ./share -wp-msg-key shell
7
   OPT: -wp -wp-prover alt-ergo -wp-session shall_not_exists_dir -wp-cache offline -wp-no-cache-env
8
9
10
11
12
   COMMENT: The session directory shall not be created
 */

//@ ensures \false ;
void f(void) { return; }