Skip to content

Issues: runtimeverification/javamop

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

52 Open 85 Closed
52 Open 85 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

ho to solve this problem canyou help me plz
#263 opened Jul 31, 2021 by rajeshlingampally
Online MOP link not working
#261 opened Dec 8, 2020 by Leviathan321
Add tests and address formatting comments in #257
#258 opened Apr 15, 2020 by owolabileg
issue
#254 opened Nov 13, 2019 by JeyhunAli
1
Import custom class to .mop file
#253 opened Jun 16, 2019 by wolganens
RV-Monitor check's String parameters by reference not by value
#252 opened Sep 14, 2018 by iraklitchedia
JavaMOP Stack Overflow Error
#251 opened Jul 19, 2018 by chunhuiguo
JavaMOP not working with tradebeans and tradesoap
#250 opened Jan 23, 2018 by JesperStromblad
4
.rvm files and .aj are not generated
#247 opened Sep 1, 2017 by yyzqll
1
Ltl eventually violation is not a supported state in this logic
#246 opened Jun 13, 2017 by yunuskilicdev
Error opening zip file or JAR manifest missing :JavaMOPAgent.jar
#245 opened Mar 27, 2017 by MichaelMeng666
14
.rvm files are not generated
#243 opened Oct 24, 2016 by reza-ahmadi
12
Parameter access issue in ltl violation
#242 opened Jun 15, 2016 by TaylorHarvin
JavaMOP only compiles with Java 7?
#240 opened May 7, 2016 by owolabileg
1
Possible flaw of JavaMOP
#239 opened Apr 30, 2016 by emopers
Improvement of Iterator_RemoveOnce
#238 opened Apr 29, 2016 by emopers
Improvement of property ByteArrayOutputStream_FlushBeforeRetrieve
#237 opened Apr 27, 2016 by emopers
Usefulness of property *_StaticFactory
#236 opened Apr 25, 2016 by emopers
4
Enum_NoOrdinal and Enum_UserFriendlyName get violated upon every Enum
#235 opened Apr 21, 2016 by emopers
1
Usefulness of property Enumeration_Obsolete
#234 opened Apr 21, 2016 by emopers
1
Improvement of property Dictionary_Obsolete
#233 opened Apr 21, 2016 by emopers
Cannot generate statistics for many properties:
#232 opened Apr 18, 2016 by owolabileg
1
Suggest to remove Object_MonintorOwner
#230 opened Apr 7, 2016 by emopers
Usefulness of property Comparable_CompareToNull
#229 opened Apr 7, 2016 by emopers
1
Map_UnsafeIterator property is useless for finding bugs
#227 opened Mar 21, 2016 by emopers
3
ProTip! Mix and match filters to narrow down what you’re looking for.