title: Passing multiple arguments to C file when slicing
body: <p>My main method in my source code a.c accepts 2 arguments : one is a file name and the other is an integer. I run it like : </p>
  
  <pre><code>      ./a.out filename1.txt 3
  </code></pre>
  
  <p>But when I try to use slicing with frama-c</p>
  
  <pre><code>       frama-c a.c filename1.txt 3 -slice-......
  </code></pre>
  
  <p>Framac throws an error saying it cannot find the file 3 ???</p>
  
  <p>I also tried other options when I enter filename1.txt_3 and extract them separately within the code, but even then frama-c doesnt like it. it complains it cannt find file filename1.txt_3.</p>
  
  <p>Please let me know how to send multiple arguments to source when running Frama C</p>