Issues

• PrintInvariants does not support JAVA Type long

  unreproducible
  codespecs/daikon#678 · Filter by author VidmS opened on Sep 19, 2025
  2

• Best practice to find class-level invariants for c++ classes

  codespecs/daikon#567 · Filter by author ChuyueSun opened on Oct 17, 2024

• java.lang.RuntimeException: Can't find parent variable

  codespecs/daikon#554 · Filter by author elizabethdinella opened on Jul 8, 2024
  2

• Daikon Failed to Execute when Using runcluster.pl with kmeans Option

  codespecs/daikon#537 · Filter by author yuan-xia opened on Mar 27, 2024

• Inferring invariants with hierarchical dataflow

  codespecs/daikon#506 · Filter by author michaelmior opened on Aug 16, 2023

• Trouble terminating when running 'runcluster.pl' and help with inputs for daikon

  codespecs/daikon#365 · Filter by author Albli001348 opened on Oct 18, 2021
  1

• Java: invariant masked by overflow condition (no exceptions) ?

  unreproducible
  codespecs/daikon#290 · Filter by author wilsondy opened on Nov 18, 2020
  4

• Cannot run LogicalCompare to completion

  codespecs/daikon#264 · Filter by author JChen677 opened on Jul 11, 2020
  7

• Annotate adds \old environment to non-static fields with JML format

  codespecs/daikon#263 · Filter by author GualterP opened on Jul 10, 2020

• Annotate output missing invariant visibility with JML format

  codespecs/daikon#262 · Filter by author GualterP opened on Jul 10, 2020
  1

• java.lang.AssertionError: not comparable

  codespecs/daikon#203 · Filter by author boyang9602 opened on Oct 7, 2019

• The --noequality flag doesn't work

  codespecs/daikon#109 · Filter by author billy-mosse opened on Oct 23, 2017
  1

• Avoid calling pure methods in client code

  enhancementPriority-Low
  codespecs/daikon#83 · Filter by author mernst opened on Mar 24, 2017

• rtc violation precondition : args[..].toString == []

  codespecs/daikon#73 · Filter by author markro49 opened on Aug 30, 2016
  1

  

• rtc failure of CursorList

  codespecs/daikon#72 · Filter by author markro49 opened on Aug 30, 2016
  

• null pointer exception running logical compare (orig variables)

  codespecs/daikon#70 · Filter by author markro49 opened on Aug 26, 2016
  1

  

• kvasir-tests failures on Fedora 24

  codespecs/daikon#69 · Filter by author markro49 opened on Aug 26, 2016
  

• Daikon error on .dtrace file from Celeriac (C#)

  codespecs/daikon#59 · Filter by author markro49 opened on Jun 16, 2016

• Incorrect contracts involving derived array splices (C# format)

  Priority-MediumType-Defect
  codespecs/daikon#42 · Filter by author mernst opened on Jun 14, 2015
  1

• Tests failing post-merge with main Daikon tree (C# format)

  Priority-MediumType-Defect
  codespecs/daikon#41 · Filter by author mernst opened on Jun 14, 2015
  1

• Daikon doesn't respect not_ordered flag

  Priority-MediumType-Defect
  codespecs/daikon#7 · Filter by author mernst opened on Jun 14, 2015

• not_ordered flag for sequences should also disable intra-sequence comparsions, such as collection sort

  Priority-MediumType-Defect
  codespecs/daikon#8 · Filter by author mernst opened on Jun 14, 2015

• Can't merge multiple dyncomp runs

  Priority-MediumType-Defect
  codespecs/daikon#3 · Filter by author mernst opened on Jun 14, 2015

• Daikon.Daikon crashes in presence of shutdown hooks

  Priority-MediumType-Defect
  codespecs/daikon#1 · Filter by author mernst opened on Jun 14, 2015