-----------------------------------------------------------------------------
-- |
  Module     : BenchSuite . Strings . SQLInjection
  Copyright : ( c )  
                   
-- License   : BSD3
-- Maintainer: 
-- Stability : experimental
--
  Bench suite for Documentation . SBV.Examples . Strings . SQLInjection
-----------------------------------------------------------------------------

{-# OPTIONS_GHC -Wall -Werror #-}

module BenchSuite.Strings.SQLInjection(benchmarks) where

import Documentation.SBV.Examples.Strings.SQLInjection
import Data.List

import BenchSuite.Bench.Bench

-- benchmark suite
benchmarks :: Runner
benchmarks =  rGroup
  [ runIO "FindInjection" $ ("'; DROP TABLE 'users" `Data.List.isSuffixOf`) <$> findInjection exampleProgram
  ]

---------------------------------------------------------------------------
 |
 License   : BSD3
 Maintainer: 
 Stability : experimental

---------------------------------------------------------------------------
# OPTIONS_GHC -Wall -Werror #
 benchmark suite
  Module     : BenchSuite . Strings . SQLInjection
  Copyright : ( c )  
                   
  Bench suite for Documentation . SBV.Examples . Strings . SQLInjection


module BenchSuite.Strings.SQLInjection(benchmarks) where

import Documentation.SBV.Examples.Strings.SQLInjection
import Data.List

import BenchSuite.Bench.Bench

benchmarks :: Runner
benchmarks =  rGroup
  [ runIO "FindInjection" $ ("'; DROP TABLE 'users" `Data.List.isSuffixOf`) <$> findInjection exampleProgram
  ]
