1,455
questions
1
vote
1
answer
37
views
Django AJAX: Passing form CSFR verification without proper token attachment. Why?
I have a small Django 5.1.1 project, in which I use an AJAX request to submit form data. I'm using {% csrf_token %} and have the setup for attaching the form csrfToken to the xhr header.
Problem: The ...
0
votes
0
answers
9
views
jquery validation rules not working for jquery steps and there is forms in each step,Form is not validated
there is a jquery step wizard having 7 steps.each steps have a form embedded inside.
and validation rules are there for each form. but when I click next control goes to the next step without ...
-1
votes
0
answers
53
views
Vivado Toggle Score Discrepancy for Identical Clock Signal in Verilog
Description:
I'm encountering an issue with code coverage in Vivado, specifically related to toggle scores. I'm working on two circuits that utilize the same global clock generator signal. However, ...
0
votes
0
answers
45
views
Verify recursive update on a map
I have a recursive function that updates a map (string, bool).
I am trying to implement a predicate that ensures the last state of said map, however, dafny has some troubles trying to verify even the ...
0
votes
0
answers
60
views
Impossible to Submit Data Use Checkup
I have been receiving notifications for several months prompting me to submit the Data Use Checkup. However, every time I attempt to complete this process, I encounter an issue at the first step. The ...
0
votes
1
answer
48
views
Verify sequence of map modifications in dafny
I'm writing a function in dafny to verify a series of updates in a map in an iterative method, however, dafny cannot prove those changes in the map.
This is the code:
function updateMap(t: (bool, ...
1
vote
0
answers
160
views
How to Handle Google Play Developer Account Restriction Due to Identity Verification Issues?
Hello Developers,
I'm facing an issue with my Google Play Developer account being restricted due to identity verification problems. Here's a summary of the situation:
I received a notification from ...
0
votes
0
answers
24
views
SVA assertion with local counter in it. Its not behaving as intended
I want to write an sva with a local counter delay. Im getting a right parenthesis error in the consequent part when i added 1'b1. I added that because i only wanted to decrement the local counter when ...
0
votes
0
answers
23
views
Is fingerprints biometric authentication supported in flutter web?
I'm building a web verification system with flutter. And it requires biometric data capturing like fingerprints, but the problem is no biometric (fingerprints) package support flutter web. Is there a ...
0
votes
2
answers
47
views
Conflicting JVM specs between what can be verified run and what is debuggable wrt local variables?
On one hand the Java class spec says:
There may be no more than one LocalVariableTable attribute per local variable in the attributes table of a Code attribute.
But on the other hand lots of ...
0
votes
1
answer
141
views
debsig-verify fails with `gpg: [don't know]: invalid packet (ctb=2d)`
Problem:
debsig-verify verification fails with no (or unhelpful) information about what is wrong. The specific output that isn't really telling me what's wrong is:
gpg: [don't know]: invalid packet (...
2
votes
1
answer
64
views
WP Plugin: Why does the following simplified code fail to verify
I am a new Frama-C User and I am trying to prove certain properties for a large project. I was seeing a particular proof fail, and tried reducing the problem to a minimum reproducible example, and the ...
1
vote
1
answer
55
views
Confused About Middleware in Node.js Express [duplicate]
I'm learning Express.js and I'm a bit confused about the difference between middleware functions and route handlers. I understand that middleware functions usually have the next argument, but I'm not ...
0
votes
0
answers
58
views
Jumio kyc authentication failed (C010401)
I am currently trying to build a flutter module ekyc with jumio.
https://pub.dev/packages/jumio_mobile_sdk_flutter
I folllowed the setup steps, when I want to start the Jumio session, I got ...
0
votes
0
answers
10
views
UPPAAL SMC - How to provide a time distribution data as an input for invariant at a location and/or a guard in a transition?
I currently have information of time in the form of a distribution as shown in the image below.
I want to provide this time information(which is in the form of a distribution) as invariant in a ...
0
votes
1
answer
108
views
django : CSRF verification failed. Request aborted. (tutorial2)
There is an error when logging in from the Django admin page.
I'm working on tutorial02, and I've tried various things and found related documents, so there's no change.
Please understand that the ...
0
votes
1
answer
53
views
Using hash in PhP
I am trying to write verification code in PhP following these steps...
The verification code is calculated by:
Verification code = integer(SHA256(the hash)[-2:-1]) mod 10000
Calculate SHA256 from the ...
0
votes
0
answers
17
views
Adding sensitive permission scope to existing google app in production - would it break existing users?
We are trying to add sensitive scope for gmail to our existing set of permissions to our gmail app that is already in production and thousands of users are using the app.
If we add the scope, will ...
-1
votes
1
answer
61
views
How to get lifetime license for ID document recognition SDK [closed]
I am trying to run the following repo here from KBY-AI company.
But when I run docker container, it returns -1 as activation value.
It seems to be de-activated internally, I can not find valid ...
0
votes
1
answer
202
views
BPMN to Petri nets converter or any other tool for verification
My goal is to transfer a BPMN model to any workflow tool that will allow me to verify it. I learned about Petri nets, so I want to be able to transform an XML file I obtained after creating a BPMN ...
0
votes
2
answers
47
views
Locate specific text for an element when specific text is partially variable (selenium Java)
For following element I need to locate the counts for Requeues, App Exits and Greets Started.
Further I will need to verify the counts for for each events.
<div _ngcontent-ome-c213="" ...
0
votes
0
answers
22
views
STM32F407 DFU problem in App Verification place on memory
I'm working with the DFU for the STM32F407 y I'm try to understand the application exist verification. Added to this, I need to use the emulated EEPROM to know if it run the DFU to remote update or ...
0
votes
1
answer
251
views
UVM enforce clocking block usage
I want to use the following SystemVerilog concepts:
clocking block: to avoid race conditions between driver and monitor, i want to have it in a central place, in the interface
modport: normally (e.g. ...
0
votes
0
answers
53
views
Is there a Refresh Token expiration time for in a web-app in the "Verification in progress" status?
When my web-app was in the Publishing status: "Testing" my users needed to re-signup every week, due to the expiration of their refresh token.
Since I've submitted the web-app to the ...
0
votes
0
answers
28
views
Controller verification not working/value being read as null when it is not
I am trying to verify that there is pre-existing entry in the row of a data table before updating its value. This is working for all of my functions except for the one present in a modal that should ...
-1
votes
1
answer
36
views
Firebase/Google Cloud projects verification has no answer [closed]
I have several projects on Firebase and sent them to OAuth verification via Google Cloud. Some of them were sent on Oct/Nov 2023. No reply emails were sent back to me. I acknowledged that they have ...
0
votes
2
answers
71
views
keep has_each for a list in Specman
I am trying to create a keep with this functionality:
extend sys {
ListA : list of uint;
keep ListA.size() == 3; // For the example
keep for each in ListA { // For the example
it &...
1
vote
1
answer
302
views
UVM agents - single/multiple?
I want to test a receiver with the following ports:
Details about the arrows in the diagram above:
Control/Status Registers:
16x32bit input signals (16 control registers)
16x32bit output signals (...
1
vote
2
answers
465
views
Meta for developers - Verification code too short
I'm busy going through the process of registering as a developer on Meta to try build out a service application but on the verification screen I'm receiving an SMS that is 5 digits long and the submit ...
-1
votes
1
answer
113
views
UVM RAL: NULL pointer is dereference
I am a beginner in using UVM RAL. I am trying to access by DUT Registers using UVM_BACKDOOR. I think this should not require an adapter and a predictor. I maybe wrong thinking so.
Below is my code ...
0
votes
1
answer
76
views
Check if a path exist in React Native [closed]
I would like to check if files or folder exist in my current project.
I have try using react-native-fs but this not take the files in the project but on the phone.
So for exemple, i would like to get ...
0
votes
0
answers
74
views
Verification failed for Tuya IOS sdk in Flutter after Integration
I have integrated Tuya SDK in my flutter app for iOS. But while signing in, i am getting error saying "Verification failed".
Following is the detailed description of error
Error Domain=com....
0
votes
0
answers
40
views
Add account verification and password recovery using tokens with react and postgres
I've finished a dashboard where I implemented a register and login system with account verification and password recovery. I used react for the frontend, serverless functions and mongodb. It was the ...
0
votes
0
answers
157
views
there is this problem in my next-oauthcongiguration it give me this error
Error 403: access_denied
Request details: o2v=2 service=lso response_type=code theme=glif redirect_uri=http://localhost:3000/api/auth/callback/google state=hWbXzL-pgbtkFjd_S1mLTl9cV7M-XDj2pTQLI6DUxco ...
0
votes
1
answer
85
views
how to use python to split a logical statement and verify it one by one? [duplicate]
For example, there is a given string
( a > b or a > c) and a < d
in python.
I want to at first extract expression and logical operator from this statement,
then check it one by one, such as
...
0
votes
1
answer
133
views
How to generate a .dat file for verilator_coverage?
I've started to familiarize myself with cocotb and I'm having trouble.
I wrote a simple test like this:
@cocotb.test()
async def add_test(dut):
dut._log.info("Running add test!")
c = ...
-1
votes
1
answer
69
views
delay-google-cloud-console-app-verification for 2 weeks without feedback
i had create on google cloud console app that require access to google calendar and google sheet . google drive
i had submit my app for verification , now pass about 2 weeks without any feedback from ...
0
votes
1
answer
166
views
Dafny linked queue implementation
I'm following Leino's paper "Specification and verification of OO software" and trying to implement the queue example. I'm unable to resolve an (syntax?) error that comes while defining the ...
0
votes
0
answers
334
views
ONDC /subscribe api domain verification file(ondc-site-verification.html) is not found
I am currently working on ONDC integration with our app. We are onboarding as seller app. I am following this given repo. I am completed till step 5 where I have to generate the ondc-site-verification....
0
votes
0
answers
37
views
How can i validate and verify my project' code
Our teacher said choose a topic(i choose social media analytics tool) and find a code about it(from github) then:
Analyze / test (if possible real-world) code to validate and verify the software.
...
1
vote
0
answers
80
views
Google ID Token verification fails in PHP, but works with tokeninfo endpoint
I'm encountering an issue verifying a Google ID token using the PHP API. The tokeninfo endpoint successfully verifies it, but $client->verifyIdToken($id_token) returns false in my PHP code. I have ...
1
vote
2
answers
191
views
Verify email in Laravel 9
I want to do email verification. Actually, it succeeded, but only to the email in the .env file. Why didn't other users receive the email verification link?
Model
class User extends Authenticatable ...
0
votes
1
answer
71
views
Verifying the authenticity of the domain that sent the request
How can I 100% verify the domain from which I received a request or connection via WebSocket?
Ideally, this should take no more than a second.
It should not be susceptible to spoofing like the Host or ...
1
vote
1
answer
1k
views
How verification of a "google sign-in" JWT works
I am trying to understand how the JWT sent from Google to the client when using the sign in with Google feature, can be verified on my server for authentication.
I would like to authenticate a user ...
0
votes
1
answer
350
views
React Native ID Card Verification scanner
Is there a free library available for implementing an ID card verification scanner in React Native? This is similar to the functionality where users register in an app and need to validate their ...
1
vote
0
answers
764
views
How to verify UPI address is valid or not? Is there any free APIs? I want to check if the entered UPI address is existing or not
Verification of UPI address using API.
I tried razorpay with this API: "https://api.razorpay.com/v1/payments/validate/vpa" but got response as:
{"error":{"code":"...
1
vote
1
answer
650
views
Error when I want to disable ssl certificate verification in axios in react project
I installed TLS on a server on the Azure side and I cannot log in to the react project due to TLS. I get the net::ERR_CERT_AUTHORITY_INVALID error in the console. Therefore, I add the following code ...
0
votes
0
answers
61
views
Dafny verification fails "post condition might not hold"
i am new here (my first question)
We are supposed to use a given code from a website and convert it into dafny code.
The code logic itself is supposedly good.
When i try to convert the code in dafny ...
0
votes
2
answers
113
views
How does a covergroup handle with an event handle sampling when enabling strobe?
I am curious as to how the sampling happens in a SystemVerilog covergroup when we have an event specified and we also use type_option.strobe = 1 for said covergroup. For example:
covergroup c @(...
4
votes
1
answer
3k
views
Gitlab : Not receive OTP for verify phone number when registering
I’m not receiving any SMS OTP for verifying my phone number when registering for gitlab account. Any solution?