irrelevant/file result not satisfactory
I did the following two requests to /bg endpoint from example:
[
{
"type" : "file",
"abs_path": "/A/B/Filename.exe",
"file_size": 1024,
"creation_time": "1604235569",
"modification_time": "1604235569",
"access_time": "1604235569",
"change_time": "1604235569",
"media_type": "img",
"filename_extension": "png"
},
{
"type" : "directory",
"abs_path": "/A/B/",
"creation_time": "1604235509",
}
]
and
[
{
"type" : "file",
"abs_path": "/A/B/Filename-2.exe",
"file_size": 1024,
"creation_time": "1604235589",
"modification_time": "1604235589",
"access_time": "1604235589",
"change_time": "1604235589",
"media_type": "img",
"filename_extension": "png"
}
]
then following request to /irrelevant/file:
{
"abs_path": "/A/B/Filename-2.exe",
}
I get the following response:
{"result": false}
Which according to the the irrelevance theory:
irrelevant(F) :- same_directory(F,F2), newer(F2,F).
should be true.
I have also tried changing the time to earlier (i.e. query file is older) i still get the "false" response
Edited by Syed Mamoon Ahmed