title: Frama-C code slicer not loading any C files
body: <p>I have a 1000 lines C file with 10 maths algorithms written by a professor, I need to delete 9 maths functions and all their dependencies from the 1000 lines, so i am having a go using Frama-C Boron windows binary installer.</p>
  
  <p>Now it won't load the simplest example.c file... i select source file and nothing loads.</p>
  
  <p>Boron edition is from 2010 so i checked how to compile a later Frama-C: they say having a space in my windows 7 user name can cause problems, which is not encouraging. </p>
  
  <p>Is Frama-C my best option for my slicing task?</p>
  
  <p>Here is an example file that won't load:</p>
  
  <pre><code>    // File swap.c:
  
      /*@ requires \valid(a) &amp;&amp; \valid(b);
        @ ensures A: *a == \old(*b) ;
        @ ensures B: *b == \old(*a) ;
        @ assigns *a,*b ;
        @*/
      void swap(int *a,int *b)
      {
        int tmp = *a ;
        *a = *b ;
        *b = tmp ;
        return ;
      }  
  </code></pre>
  
  <p>Here is the code i wish to take only one function from, the option labelled smooth and swvd. <a href="https://sites.google.com/site/kootsoop/Home/cohens_class_code" rel="nofollow">https://sites.google.com/site/kootsoop/Home/cohens_class_code</a></p>