From f6753ca7324b8b367b49a83666614bafaf62d9df Mon Sep 17 00:00:00 2001 From: drl7x Date: Mon, 21 Apr 2003 20:10:20 +0000 Subject: [PATCH] Fixed line numbering in faq.html --- doc/html/faq.html | 22 ---------------------- 1 file changed, 22 deletions(-) diff --git a/doc/html/faq.html b/doc/html/faq.html index 97a5e08..aab6dc5 100644 --- a/doc/html/faq.html +++ b/doc/html/faq.html @@ -13,9 +13,7 @@

Splint - Frequently Asked Questions

Index

    -
  1. General Questions About Splint

    -
  2. What is the difference between Splint and LCLint?
  3. What is the Splint logo?
    @@ -48,9 +46,7 @@ it seems like Splint is not reporting any errors in the code it analyzes. What is going on?
  4. -
  5. Usage

    -
  6. I heard that we will get lot of parse errors when we run this tool first time. Hence we need to modify source code. Is it correct ?
  7. @@ -69,9 +65,7 @@
  8. I use realloc in my code. How can I get Splint in check this code more effectively?
  9. -
  10. Warnings and Errors

    -
  11. Why do I get a warning when multiplying different integer types? The C standard says this is ok. Why is this wrong?
  12. @@ -84,26 +78,20 @@
  13. I get parse errors when I try to run Splint on code like #define MACROdebug(...) blahblah . Can I use variadic macros in Splint?
  14. -
  15. Bugs

    -
  16. I think I've found a bug in Splint. What should I do?
  17. Splint tells me that there is a bug and I should report it. What information should I send?
  18. -
  19. Additional Information

    -
  20. My question isn't answered here. How can I get more information about Splint?

Questions and Answers

    -
  1. General Questions About Splint

    -
  2. What is the difference between Splint and LCLint?

    @@ -169,9 +157,7 @@
  3. -
  4. Installation

    -
  5. I downloaded the Splint .tgz file but can't figure out how to extract it. There is no 'z' option on the tar on my @@ -252,9 +238,7 @@

  6. -
  7. Usage

    -
  8. I heard that we will get lot of parse errors when we run this tool first time. Hence we need to modify source code. Is it @@ -319,9 +303,7 @@ href="http://www.splint.org/documentation/realloc.htm">http://www.splint.org/documentation/realloc.htm

  9. -
  10. Warnings and Errors

    -
  11. Why do I get a Warning when multiplying different integer types? The C standard says this is ok. Why is this @@ -367,9 +349,7 @@

  12. -
  13. Bugs

    -
  14. I think I've found a bug in Splint. What should I do?

    @@ -393,9 +373,7 @@ may be able to at least to offer you advice on working around the problem.

  15. -
  16. Additional Information

    -
  17. My question isn't answered here. How can I get more information about Splint?

    -- 2.45.0