'[klee-commits] [klee/klee] a4b81e: Move klee-stats tests into test/klee-stats'

[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-commits
Subject:    [klee-commits] [klee/klee] a4b81e: Move klee-stats tests into test/klee-stats
From:       Cristian Cadar <noreply () github ! com>
Date:       2024-03-27 11:14:38
Message-ID: klee/klee/push/refs/heads/master/37e1fa-27a664 () github ! com
[Download RAW message or body]

*******************
This email originates from outside Imperial. Do not click on links and attachments \
unless you recognise the sender.  If you trust the sender, add them to your safe \
senders list https://spam.ic.ac.uk/SpamConsole/Senders.aspx to disable email stamping \
                for this address.
*******************
  Branch: refs/heads/master
  Home:   https://github.com/klee/klee
  Commit: a4b81ecdad684ddb16d66d293e4ae60d91a1585a
      https://github.com/klee/klee/commit/a4b81ecdad684ddb16d66d293e4ae60d91a1585a
  Author: Cristian Cadar <c.cadar@imperial.ac.uk>
  Date:   2024-03-27 (Wed, 27 Mar 2024)

  Changed paths:
    R test/Feature/KleeStats.c
    R test/Feature/KleeStatsBranches.c
    R test/Feature/KleeStatsColumns.test
    R test/Feature/KleeStatsCsv.test
    R test/Feature/KleeStatsEmpty.test
    R test/Feature/KleeStatsNoBr.c
    R test/Feature/KleeStatsTermClasses.c
    R test/Feature/klee-stats/additional_column/info
    R test/Feature/klee-stats/additional_column/run.stats
    R test/Feature/klee-stats/empty/info
    R test/Feature/klee-stats/empty/run.stats
    R test/Feature/klee-stats/missing_column/info
    R test/Feature/klee-stats/missing_column/run.stats
    R test/Feature/klee-stats/run/info
    R test/Feature/klee-stats/run/run.stats
    A test/klee-stats/KleeStats.c
    A test/klee-stats/KleeStatsBranches.c
    A test/klee-stats/KleeStatsColumns.test
    A test/klee-stats/KleeStatsCsv.test
    A test/klee-stats/KleeStatsEmpty.test
    A test/klee-stats/KleeStatsNoBr.c
    A test/klee-stats/KleeStatsTermClasses.c
    A test/klee-stats/additional_column/info
    A test/klee-stats/additional_column/run.stats
    A test/klee-stats/empty/info
    A test/klee-stats/empty/run.stats
    A test/klee-stats/missing_column/info
    A test/klee-stats/missing_column/run.stats
    A test/klee-stats/run/info
    A test/klee-stats/run/run.stats

  Log Message:
  -----------
  Move klee-stats tests into test/klee-stats

  Commit: 004d2183b4e34815cfa699803f5f212c0c963024
      https://github.com/klee/klee/commit/004d2183b4e34815cfa699803f5f212c0c963024
  Author: Cristian Cadar <c.cadar@imperial.ac.uk>
  Date:   2024-03-27 (Wed, 27 Mar 2024)

  Changed paths:
    M test/klee-stats/KleeStatsColumns.test
    M test/klee-stats/KleeStatsCsv.test
    M test/klee-stats/KleeStatsEmpty.test

  Log Message:
  -----------
  Adjust klee-stats tests to run in the test/klee-stats directory

  Commit: 87dd93707af896523820181e14e2bca02f809c75
      https://github.com/klee/klee/commit/87dd93707af896523820181e14e2bca02f809c75
  Author: Cristian Cadar <c.cadar@imperial.ac.uk>
  Date:   2024-03-27 (Wed, 27 Mar 2024)

  Changed paths:
    R test/Feature/KleeExecTreeBogus.test
    R test/Feature/WriteExecutionTree.c
    R test/Feature/exec-tree-dbs/duplicated_node.csv
    R test/Feature/exec-tree-dbs/empty_db.csv
    R test/Feature/exec-tree-dbs/invalid_btype.csv
    R test/Feature/exec-tree-dbs/invalid_ttype.csv
    R test/Feature/exec-tree-dbs/loop.csv
    R test/Feature/exec-tree-dbs/missing_after_max.csv
    R test/Feature/exec-tree-dbs/missing_before_max.csv
    R test/Feature/exec-tree-dbs/node_id0.csv
    R test/Feature/exec-tree-dbs/not_a.db
    A test/klee-exec-tree/KleeExecTreeBogus.test
    A test/klee-exec-tree/WriteExecutionTree.c
    A test/klee-exec-tree/exec-tree-dbs/duplicated_node.csv
    A test/klee-exec-tree/exec-tree-dbs/empty_db.csv
    A test/klee-exec-tree/exec-tree-dbs/invalid_btype.csv
    A test/klee-exec-tree/exec-tree-dbs/invalid_ttype.csv
    A test/klee-exec-tree/exec-tree-dbs/loop.csv
    A test/klee-exec-tree/exec-tree-dbs/missing_after_max.csv
    A test/klee-exec-tree/exec-tree-dbs/missing_before_max.csv
    A test/klee-exec-tree/exec-tree-dbs/node_id0.csv
    A test/klee-exec-tree/exec-tree-dbs/not_a.db

  Log Message:
  -----------
  Move klee-exec-tree tests in a separate directory, test/klee-exec-tree

  Commit: 27a66461f73dcc3d43bd68d9fb3cb80ca9bfe787
      https://github.com/klee/klee/commit/27a66461f73dcc3d43bd68d9fb3cb80ca9bfe787
  Author: Cristian Cadar <c.cadar@imperial.ac.uk>
  Date:   2024-03-27 (Wed, 27 Mar 2024)

  Changed paths:
    R test/Expr/Evaluate.kquery
    R test/Expr/Evaluate2.kquery
    R test/Expr/Lexer/Numbers.kquery
    R test/Expr/Parser/Concat64.kquery
    R test/Expr/Parser/ConstantFolding.kquery
    R test/Expr/Parser/Exprs.kquery
    R test/Expr/Parser/MultiByteReads.kquery
    R test/Expr/Parser/Simplify.kquery
    R test/Expr/Parser/TypeChecking.kquery
    R test/Expr/ReadExprConsistency.c
    R test/Expr/print-smt-let.kquery
    R test/Expr/print-smt-let.smt2.good
    R test/Expr/print-smt-named.kquery
    R test/Expr/print-smt-named.smt2.good
    R test/Expr/print-smt-none.kquery
    R test/Expr/print-smt-none.smt2.good
    A test/Feature/ReadExprConsistency.c
    A test/kleaver/Evaluate.kquery
    A test/kleaver/Evaluate2.kquery
    A test/kleaver/Lexer/Numbers.kquery
    A test/kleaver/Parser/Concat64.kquery
    A test/kleaver/Parser/ConstantFolding.kquery
    A test/kleaver/Parser/Exprs.kquery
    A test/kleaver/Parser/MultiByteReads.kquery
    A test/kleaver/Parser/Simplify.kquery
    A test/kleaver/Parser/TypeChecking.kquery
    A test/kleaver/print-smt-let.kquery
    A test/kleaver/print-smt-let.smt2.good
    A test/kleaver/print-smt-named.kquery
    A test/kleaver/print-smt-named.smt2.good
    A test/kleaver/print-smt-none.kquery
    A test/kleaver/print-smt-none.smt2.good

  Log Message:
  -----------
  Renamed test/Expr to test/kleaver and move ReadExprConsistency.c to test/Feature

Compare: https://github.com/klee/klee/compare/37e1fa0552e2...27a66461f73d

To unsubscribe from these emails, change your notification settings at \
https://github.com/klee/klee/settings/notifications

_______________________________________________
klee-commits mailing list
klee-commits@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-commits

[prev in list] [next in list] [prev in thread] [next in thread] 